Irrationality Measures for Continued Fractions with Arithmetic Functions
نویسندگان
چکیده
Let f(n) or the base-2 logarithm of f(n) be either d(n) (the divisor function), σ(n) (the divisor-sum function), φ(n) (the Euler totient function), ω(n) (the number of distinct prime factors of n) or Ω(n) (the total number of prime factors of n). We present good lower bounds for ∣ ∣M N − α ∣ ∣ in terms of N , where α = [0; f(1), f(2), . . .].
منابع مشابه
Irrationality of some p-adic L-values
We give a proof of the irrationality of the p-adic zeta-values ζp(k) for p = 2, 3 and k = 2, 3. Such results were recently obtained by F.Calegari as an application of overconvergent p-adic modular forms. In this paper we present an approach using classical continued fractions discovered by Stieltjes. In addition we show irrationality of some other p-adic L-series values, and values of the p-adi...
متن کاملIrrationality Measures of log 2 and π/√3
1. Irrationality Measures An irrationality measure of x ∈ R \Q is a number μ such that ∀ > 0,∃C > 0,∀(p, q) ∈ Z, ∣∣∣∣x− pq ∣∣∣∣ ≥ C qμ+ . This is a way to measure how well the number x can be approximated by rational numbers. The measure is effective when C( ) is known. We denote inf {μ | μ is an irrationality measure of x } by μ(x), and we call it the irrationality measure of x. By definition,...
متن کاملLinearly Unrelated Sequences
There are not many new results concerning the linear independence of numbers. Exceptions in the last decade are, e.g., the result of Sorokin [8] which proves the linear independence of logarithmus of special rational numbers, or that of Bezivin [2] which proves linear independence of roots of special functional equations. The algebraic independence of numbers can be considered as a generalizati...
متن کاملEffective Continued Fractions
Only the leading seven terms of a continued fraction are needed to perform on-line arithmetic, provided the continued fractions are of the correct form. This forms the basis of a proof that there is an effective representation of the computable reals as continued fractions: we also demonstrate that the basic arithmetic operations are computable using this representation.
متن کاملOn the rational approximation to the Thue–Morse–Mahler number
has infinitely many solutions in rational numbers p/q. It follows from the theory of continued fractions that μ(ξ) is always greater than or equal to 2, and an easy covering argument shows that μ(ξ) is equal to 2 for almost all real numbers ξ (with respect to the Lebesgue measure). Furthermore, Roth’s theorem asserts that the irrationality exponent of every algebraic irrational number is equal ...
متن کامل